Nuprl Definition : fpf-cap
0,22
postcript
pdf
f
(
x
)?
z
== if
x
dom(
f
)
f
(
x
) else
z
fi
latex
clarification:
fpf-cap(
f
;
eq
;
x
;
z
) == if fpf-dom(
eq
;
x
;
f
)
fpf-ap(
f
;
eq
;
x
) else
z
fi
latex
Definitions
f
(
x
)
,
x
dom(
f
)
,
if
b
t
else
f
fi
FDL editor aliases
fpf-cap
origin
dom(f)
f(x) else z fi
fpf-ap(f; eq; x) else z fi dom(f) f(x) else z fi
fpf-ap(f; eq; x) else z fi dom(f) t else f fi